Testing Executable Themes

Evaluating a Design Pattern for Black-Box Testing in Executable UML

Property-based testing and properties as types : a hybrid approach to supercompiler verification

This thesis describes a hybrid approach to compiler verification. Property-based testing and mechanised proof are combined to support the verification of a supercompiler — a particular source-to-source program optimisation. A careful developer may use formal methods to ensure that their program code is correct to specifications. Poorly constructed compilers (and their associated machinery) can ...

Communicating Domain Knowledge in Executable Acceptance Test Driven Development

We present results of a case study looking at how domain knowledge is communicated to developers using executable acceptance test driven development at a large software development company. We collected and analyzed qualitative data on a large software development team's testing practices and their use of a custom-built executable acceptance testing tool. Our findings suggest that executable ac...

A Method for Executable Protocol Conformance Test Sequences Generation using Parametric Executable Analysis Tree

Automatic generation of executable test sequences is one of the key issues in conformance testing for protocols specified in extended finite state machines (EFSM). The traditional test generation methods based on the executable analysis tree, generally require the initial assignment of variables in the EFSM under testing. Unfortunately, how to select the initial value for input variables is a c...

Executable Aspect Oriented Models for Improved Model Testing

Design validation is important for detecting errors early in the development life cycle. Testing the design is one significant means to achieve design validation. In this paper we introduce the KerTheme model. KerTheme provides a means symmetrically decomposing concern based executable class diagrams and concern test scenarios. KerTheme also facilitates simultaneous merging of these decomposed ...